Content-Length: 2997
Content-Type: text/html

<HTML>
<HEAD>
<TITLE>The PRISM Group at Maryland</TITLE>
</HEAD>

<body background="/gif/cotton_paper.gif">
<HTML>
<pre>
<h5>
<!WA0><a href=http://karna.cs.umd.edu:3264/try/option_form.html>Options</a>
<!WA1><a href=http://karna.cs.umd.edu:3264/try/comment_form.html>Comments</a>
<!WA2><a href=http://karna.cs.umd.edu:3264/SYSTEM>System Administration</a>
</h5>
</pre>
<hr>
<p>
<h1>
The PRISM Research Group<br>
<em>Logic Programming and Deductive Databases</em>
</h1>

<!--=======================================================================-->
<!WA3><a href="http://karna.cs.umd.edu:3264/prism-picture.html">
<!WA4><img src="http://karna.cs.umd.edu:3264/gif/prism-small.inline.gif" alt="The PRISM group picture."></a>
<p>
<ul>
<li><strong>The PRISM group is located at</strong> 
	<dl>
	<dd><!WA5><a href="http://karna.cs.umd.edu:3264/prism-map.html">Room 3264</a>,
		A.V. Williams Building,
	<dd><!WA6><a href="http://www.cs.umd.edu">
		Department of Computer Science</a>,
	<dd>University of Maryland,
		<!WA7><a href=http://karna.cs.umd.edu:3264/gif/dc.gif>College Park</a>, MD 20714
	</dl>
<li><!WA8><a href=http://karna.cs.umd.edu:3264/people/list.html>
	<strong>Members of the group</strong></a>
<li><strong>Research</strong>
	<ul>
	<li><!WA9><a href=http://karna.cs.umd.edu:3264/projects/list.html>
		Research topics</a>
	<li><!WA10><a href=http://karna.cs.umd.edu:3264/papers.html>
		Publications available on-line</a>
	<li>System Demonstrations
		<ul>
		<li><!WA11><a href="http://karna.cs.umd.edu:3264/carmin/carmin_main.html">
			Carmin</a>: Cooperative Answering System at Maryland
			<!WA12><img src="http://karna.cs.umd.edu:3264/gif/star.gif" alt="[logged]">
		<li><!WA13><a href="http://karna.cs.umd.edu:3264/projects/dddbs/dddbs_main.html">
			DDDBS</a>: Disjunctive Deductive Database System
			<!WA14><img src="http://karna.cs.umd.edu:3264/gif/star.gif" alt="[logged]">
		</ul>
	</ul>
<li><strong>Seminars</strong>
	<ul>
	<li><!WA15><a href="http://www.cs.umd.edu:/projects/active/laisem/laisem.html">
		Logic and AI Seminar</a>
	<li><!WA16><a href="http://www.cs.umd.edu/~nelson/database_sem_dir/database_sem.html">
		Database Seminar</a>
	</ul>
<li><strong>Our Web Site</strong>
	<ul>
	<li><!WA17><a href=http://karna.cs.umd.edu:3264/server.html>
		The PRISM WWW Server</a>: About this server
	<li><!WA18><a href=http://karna.cs.umd.edu:3264/search.html>
		The PRISM Search Engine</a>: Search for HTML pages at this site
	<li><!WA19><a href=http://karna.cs.umd.edu:3264/misc/jump.html>
		The PRISM Jump Page</a>: Other internal and external resources
	</ul>
<li><strong>Miscellaneous</strong>
	<ul>
<!--<li><!WA20><a href=http://karna.cs.umd.edu:3264/misc/grads.html>
		Directory of CS Graduate Students at Maryland</a>
-->
<!--<li>Please <!WA21><a href=http://karna.cs.umd.edu:3264/misc/guest_form.html>sign</a>
		our <!WA22><a href=http://karna.cs.umd.edu:3264/guest-book.html>guest book</a>
-->
	<li><!WA23><a href="http://karna.cs.umd.edu:3264/bibweb.html">
		PRISM's Bibweb</a><br>
		Links to research papers available over the Web.
		The page is automatically generated from our LaTeX BIB files.
	</ul>
</ul>

<HR size=5>
<!--=======================================================================-->
In general, access to our pages is not monitored for the sake of privacy.<br>
Links marked with a
<!WA24><img src="http://karna.cs.umd.edu:3264/gif/star.gif" alt="[logged]">
or links to papers marked with a
<!WA25><img src="http://karna.cs.umd.edu:3264/gif/exist.xbm" alt="[paper]">,
however,
<em>are</em> logged for traffic statistics.<br>

<!--=======================================================================-->

</BODY>
</HTML>

<hr>
<!WA26><a href="http://karna.cs.umd.edu:3264/BACK/prism.html">
<!WA27><img src="http://karna.cs.umd.edu:3264/gif/petite_arbre.gif">
<em>Back-links<em></a>

<hr><em>Last modified: Thu Oct 31 10:01:45 1996
</em>
